
Timing is done via rest(). 
